$\forall$${\it ds}$:Top. update{-}spec{-}decl($\otimes$;${\it ds}$)